21. Practical UML statecharts in C/C++event-driven programming for embedded systems
پدیدآورنده : Samek, Miro.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Development ، Computer software,، Formal methods )Computer science(,، Statecharts )Computer science(,، UML )Computer science(,، Object-oriented programming )Computer science(
رده :
QA
76
.
9
.
S88
S26
2009
22. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
23. Software Engineering for Large Software Systems
پدیدآورنده : edited by B.A. Kitchenham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1990
24. Software engineering :
پدیدآورنده : Eric J. Braude, Michael E. Bernstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Software engineering.,Object-oriented programming (Computer science),Software engineering.,Softwareentwicklung, 0 Gesamtdarstellung.
رده :
QA76
.
758
.
B74
2011
25. Software engineering education :
پدیدآورنده : Jorge L. Diaz-Herrera (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
26. Systems analysis and design for advanced modeling methods :
پدیدآورنده : Akhilesh Bajaj and Stanislaw Wrycza, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : System analysis.,System design.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System analysis.,System design.
رده :
QA76
.
9
.
S88
S936
2009eb
27. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
28. VLSI:
پدیدآورنده : edited by Ricardo Reis, Luc Claesen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.
رده :
TK7874
.
75
E358
1997
29. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
30. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
